1. Logic Colloquium '82 :
Author: edited by G. Lolli, G. Longo, and A. Marcja
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Categories (Mathematics)-- Congresses,Lambda calculus-- Congresses,Model theory-- Congresses
Classification :
QA9
.
7
.
L64
1982
2. Typed Lambda Calculi and Applications :
Author: edited by Mariangiola Dezani-Ciancaglini, Gordon Plotkin.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.,Lambda calculus -- Congresses.,Logic design.
Classification :
QA9
.
5
E358
1995
3. Typed lambda calculi and applications : International Conference on Typed Lam)b(da Calculi and Applications, TLCA '93, March 16-18, 1993, Utrecht, the Netherlands : proceedings
Author:
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Lambda calculus -- Congresses
Classification :
QA
9
.
5
.
I58
1993
4. Typed Lambda calculi and applications: second International Conference on Typed Lambda Calculi and Applications, TLCA'95, Edinburgh, United Kingdom, April 10-12, 1995: proceedings
Author:
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Lambda calculus-- Congresses
Classification :
QA
9
.
5
.
I58
1995
5. Typed lambda calculi and applications : second International Conference on Typed Lambda Calculi and Applications, TLCA 95, Edinburgh, United Kingdom, April 10-12, 1995 : proceedings
Author: Mariangiola Dezani-Ciancaglini, Gordon Plotkin, eds
Library: Central Library of Amirkabir University of Technology (Tehran)
Subject: Lambda calculus - Congresses
Classification :
QA
9
.
5
.
I58
1995
6. Typed lambda calculi and applications : 7th International Conference, TLCA 2005, Nara, Japan, April 21-23, 2005 : proceedings
Author: Pawel Urzyczyn
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Lambda calculus
Classification :
QA
76
.
L28
Vol
.
3461
7. Typed lambda calculi and applications: 5th international conference, TLCA 2001, Krakow, Poland, May 2-5, 2001: proceedings
Author:
Library: Central Library of Sharif University of Technology (Tehran)
Subject: Congresses ، Lambda calculus
Classification :
QA
9
.
5
.
I58
2001
8. Typed lambda calculi and applications : 5th international conference, TLCA 2001, Krakow, Poland, May 2-5, 2001 : proceedings
Author: Samson Abramsky )ed.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Lambda calculus
Classification :
QA
76
.
L28
Vol
.
2044
9. Typed lambda calculi and applications : 4th international conference, TLCA'99, L'Aquila, Italy, April 7-9, 1999 : proceedings
Author: Jean-Yves Girard )ed.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Lambda calculus
Classification :
QA
76
.
L28
Vol
.
1581
10. Typed lambda calculi and applications : 6th international conference, TLCA 2003, Valencia, Spain, June 2003 : proceedings
Author: Martin Hofmann )ed.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Lambda calculus
Classification :
QA
76
.
L28
Vol
.
2701
11. Typed lambda claculi and applications : International Conference on Typed Lam]b[ da Calculi and Applications, TLCA'93, March 16-18, 1993, Utrecht, the Netherlands: proceedings
Author: M. Bezem, J.F. Groote )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Lambda calculus
Classification :
QA
76
.
L28
Vol
.
664
12. Typed lambda claculi and applications : third International Conference on Typed Lambda Calculi and applications, TLCA'97, Nancy, France, April 2-4, 1997 : proceedings
Author: Philippe de Groote, J. Roger Hindley )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Lambda calculus
Classification :
QA
76
.
L28
Vol
.
1210
